SUBDIRS=lesson_6

include ../../../../../include/kframework/ktest-group.mak
